Explaining Memory Safety